fetch:
	curl https://raw.githubusercontent.com/gsdlab/clafer/develop/src/Language/Clafer/Front/Parclafer.y > fetched/Parclafer.y
